Lattice pseudoeffect algebras as double residuated structures
نویسندگان
چکیده
منابع مشابه
Fuzzy ideals in partially ordered pseudoeffect algebras
Pseudoeffect algebras are non-commutative generalizations of effect algebras, which can serve as models of both quantum structures and non-commutative logics. The main contribution of this study is twofold. Firstly, we initiate an order-theoretic extension of pseudoeffect algebras, called partially ordered pseudoeffect algebras (abbreviated po-PEAs). Secondly, we investigate the fuzzy ideal the...
متن کاملResiduated Kleene Algebras
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.
متن کاملFilters in Residuated Algebras
In this paper we study the filters in residuated algebras. We investigate the properties of the filters. We also define a congruence relation on the residuated algebras corresponding to a given filter and study its properties. We define the quotient algebra induced by this relation. We prove that this is also a residuated algebra with special properties.
متن کاملInjectives in Residuated Algebras
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTLalgebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
متن کاملUninorm-based Residuated Lattice
Lattice-ordered monoids are important backgrounds and algebraic foundations of residuum in general. The t-norm based lattices are investigated widely in fuzzy models, but in recent time while researching new approximate reasoning methods in soft computing based models and fuzzy models, the investigations are focused on new types of operators, like uninorms. It is necessary to find and define co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2011
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-011-0710-7